Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
71	WG 14 N1735 WG14 CFP meeting minutes for the meeting ofNote taker: Rajan Attendees: Jim, Mike, David, Ian, Rajan, Marius (10:00 PDT) Old action items: Jim to send email about WANT macros - Done Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-08-13 14:29:14 Computer arithmetic C programming language C Cross-platform software Floating point Rounding Directive Ada Email Computing Software engineering Computer programming
72	Use of SPARK in a Resource Constrained Embedded System Chad Loseby Peter Chapin Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-05-09 09:08:56 Ada programming language AdaCore SPARK Ada TI MSP430 Buoy Microcontroller GNAT Embedded system Computing Software engineering Computer programming
73	Ada Reference Manual, ISO/IEC 8652:1995(E) with COR.1:2000 Annotated Ada Reference Manual ISO/IEC 8652:1995(E) with Technical Corrigendum 1 Language and Standard Libraries Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-11-18 05:03:53 Procedural programming languages Ada Fortran C Pascal ALGOL 68 Pointer Directive Packaging and labeling Computing Software engineering Programming language theory
74	Microsoft Word - COVERS.DOC Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-11-18 05:04:00 Ada Ada programming language Procedural programming languages GrammaTech Programmer Robert Dewar C Sharp Intermetrics ALGOL 68 Computing Software engineering Computer programming
75	ADVANCED PROGRAMMING LANGUAGE DESIGN Raphael A. Finkel ❖ UNIVERSITY OF KENTUCKY Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:01:31 Programming paradigms Programming language Imperative programming Lisp Functional programming Ada Object-oriented programming TeX Formal language Software engineering Computing Computer programming
76	A SPARK/Ada CubeSat Control Program Carl Brandon1 and Peter Chapin2 1 Vermont Technical College, Randolph Center VT 05061, USA 2 Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-05-09 09:08:56 Satellites CubeSat Radio Aurora Explorer AdaCore SPARK Global Positioning System Ada Embedded system Chasqui I Spacecraft Space technology Ada programming language
77	StackAnalyzer for PPC StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compilers Programming language implementation GNU Compiler Collection Compiler Call graph Ada Programming tool Software Computing Compiler construction
78	Quick Ada ● 1 The history of Ada ● Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2000-10-15 20:46:30 Source code Ada programming language Ada C programming language Constant Control flow String literal GNAT C syntax Computer programming Computing Software engineering
79	SOMERTON SECRETS & SAPPHIRES AT LEILA RASHEED Add to Reading List Source URL: www.hotkeybooks.com Language: English - Date: 2012-11-12 10:07:08 Ada Lovelace Ada programming language Lord Byron Women in engineering Women in technology Ada Computing British people Software engineering
80	WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2010-06-27 14:32:08 C programming language Cross-platform software Procedural programming languages C11 C Errno.h Ada Fortran Dinkumware Computing Software engineering Computer programming

UPDATE